2. BL,BL
پدیدآورنده : / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
3. Formal aspects of security : first international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers
پدیدآورنده : Ali E. Abdallah, Peter Ryan, Steve Schneider )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer security,Congresses ، Formal methods )Computer science(
رده :
QA
76
.
L28
Vol
.
2629
